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