add intermediate representation for equality

[danmatichuk]

this adds an additional step between converting a domain into an equivalence problem, where a 'StateCondition' roughly captures the collection of equivalence assertions that eventually are flattened into a predicate

fixes #238