Add function to find an equation's precondition.
Cabalise partial equational reasoning.