SYN551+[123] - Removed remaining equality axioms (for TPTP v3.0.0)