finish updating bytecodeProofTheory