include tconditionchecker, ttypechecker