128129130131132133134
this.model.traverse( new SubstitutionInliner() ); } private void annotateTypes() throws CompilerException { this.model.traverse( new TypeAnnotator() ); }