let apply_on_stmt f = function
  | PStmt (_kf,s) -> f s
  | _ -> ()