verify expressions inside an expression
add a functionality to check the validity of links between closures