fixed to bv resolution proofs for explanations
more fixed to bv proofs in analyzeFinal2