Adapted generator to new interface of type checker.