cryptol-2.4.0: Cryptol: The Language of Cryptography

When given an equality constraint, attempt to rewrite it to the form ?x = ..., by moving all occurrences of ?x to the LHS, and any other variables to the RHS. This will only work when there's only one unification variable present in the prop.