skip walking in TemplateFunctionDefinitions
assertions placed under Compiler#_verify