Implement synthesis of EqualityConstraint groups.
Implement synthesis of EqualityConstraint groups.

 - Only for a single required constant vector.
 - Cannot apply constant constraints.
 - Does not handle expanding samples to forbidden tables.
 - Nothing fancy, like recursion.

zentner-kyle/deltalog