Parse equality nodes of veriT proofs into correct axiom types, include transitivity weighted measure and do space measure in the same traversal as the rest