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