Make ProofParserVeriT's resolution method invariant to clause permutations