add Verifier
verify expressions inside an expression
add a functionality to check the validity of links between closures
skip walking in TemplateFunctionDefinitions
assertions placed under Compiler#_verify
check if numbers of closures are equal
Revert "assertions placed under Compiler#_verify"

This reverts commit e44272c8ad7f2c0259fa4c34779b47fcb5b067f2.