method vpredicate = function | Papp (_, _, _) -> SkipChildren | Pvalid _ | Pvalid_index(_,_) | Pvalid_range(_,_,_) | Pinitialized _ | Pfresh _ | Pseparated _ -> SkipChildren | _ -> DoChildren