Fixed bug in testTotality when functions return infinite values.
Fixed bug in partial equational reasoning.