method vspec funspec = in_funspec := true; ChangeDoChildrenPost (funspec, fun x -> in_funspec := false; x)