make the way iMod solves side-conditions consistent with iInv
Also, always split conjunctions in side-conditions to make sure we don't have some silly True /\ _
left.
Also, always split conjunctions in side-conditions to make sure we don't have some silly True /\ _
left.