-- by removing "mod FACTtbu" (((b1 & q) $ ((lb [ b2 ] : rs) as)) -> (((b1 & q) & b2) $ ((lb [ b2 ] : ws) as)) !! (((( (#aq((q & b2),b2) = (s 0)) and (#aq(q,b2) = 0)) and ( (#ass(as,b2) = 0) and ( 1as(as) and (#lss(as,cs) = 0)))) xor ((( (#aq((q & b2),b2) = (s 0)) and (#aq(q,b2) = 0)) and ( (#ass(as,b2) = 0) and ( 1as(as) and (#lss(as,cs) = (s 0))))) xor (( (#aq((q & b2),b2) = (s 0)) and ( (#lss(as,cs) = (s 0)) and (#aq(q,b2) = 0))) and ( (#ass(as,b2) = 0) and ( 1as(as) and (#lss(as,cs) = 0)))))) xor (((( (#ass(as,b2) = 0) and 1as(as)) and ( (#aq(q,b2) = 0) and ( (#lss(as,cs) = (s 0)) and (#lss(as,cs) = 0)))) xor ((( (#ass(as,b2) = 0) and 1as(as)) and ( (#aq(q,b2) = 0) and (#lss(as,cs) = (s 0)))) xor (( (#ass(as,b2) = 0) and 1as(as)) and ( (#aq(q,b2) = 0) and (#lss(as,cs) = 0))))) xor true)))