Fixed a bug where axioms with multiple RHS might be incorrectly NOT applied in a certain situation.