Add missing cases for proof exporter in VeriT format with Equality axioms.