added nodes::predicate in visit_Squeel_Nodes_Function