slicing AST visitor