============
by changing

eq #dms(S:State,A:Aid) = ((s s s 0) * #daq(qu(S),A)) 
                          + #ls(S,rs) + #ccs(S) .

to

eq #dms(S:State,A:Aid) = ((s s 0) * #daq(qu(S),A)) 
                          + #ls(S,rs) + #ccs(S) .
============

(((b1 & q) $ (((lb [ b22 ] : ws) (lb [ b1 ] : cs)) as1)) ->  
 (q $ ((lb [ b1 ] : rs) ((lb [ b22 ] : ws) as1))) 

!! (((

(#ass(as1,b1) = 0) and (
(#ass(as1,b22) = 0) and (
1as(as1) and (
(#aq(q,b22) = (s 0)) and 
(#aq(q,b1) = 0)))))  
  xor 
true) 

! 

((
(#ass(as1,b1) = 0) and (
(#ass(as1,b22) = 0) and (
1as(as1) and (
(#aq(q,b22) = (s 0)) and 
(#aq(q,b1) = 0))))) 

! (

false 

! ((

nb (s (s ((#daq-sub(q,b22) + #daq-sub(q,b22)) + #lss(as1,rs))))) ! (
nb (s (s (#lss(as1,rs) + (#daq-sub(q,b22) + #daq-sub(q,b22)))))

))))))