pjs/ef/Compiler/FrontEnd/VerificationEnv.cpp