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