finish fix of compilerProofTheory