public override IList <FunctionInfo> InferMethods(SymbolId name) { return(Engine.InferMethods(cs.Module, SymbolTable.Init, cs)); }