Make VeriT's proof parser parse formulas correctly