let wp_compute_call ~kf_caller ~kf_called stmt =
  ignore kf_called ;
  generic_compute (Some kf_caller) [] None (Some stmt)