Update VeriT proof parser to cope with VeriT's new argument list for CNF inference rules