public ModelBuilderProto(VCGenerator gen, MathSymbolTable symtab) {
   this.symtab = symtab;
   this.tr = gen.getModule();
   this.g = symtab.getTypeGraph();
   this.gen = gen;
   this.outputFile = new VCOutputFile(gen.getCompiler());
 }
 @Override
 public void enterModuleDecl(ResolveParser.ModuleDeclContext ctx) {
   try {
     moduleScope = symtab.getModuleScope(tr.getModuleIdentifier());
   } catch (NoSuchModuleException e) { // shouldn't happen, but eh.
     gen.getCompiler().errMgr.semanticError(ErrorKind.NO_SUCH_MODULE, Utils.getModuleCtxName(ctx));
   }
 }