/// <summary> /// Note: input program's type definitions wiill be pre-processed to /// cater for AC term semantics. /// </summary> public InterpreterTypeChecker(TrsProgramBlock programIn) { TypeCheckerPreprocessor preprocessor = new TypeCheckerPreprocessor(); preprocessor.RewriteTerms(programIn); InitializeLookupTables(programIn); }