Improve the API of PartialEquationalReasoning (and fix a bug).