diff --git a/src/plugins/wp/cfgCalculus.ml b/src/plugins/wp/cfgCalculus.ml
index d2e8be2e49fd751257493ee58c814c8fd7e6e55d..5ff18776daee314d628fd08a9b63d69f38bd916e 100644
--- a/src/plugins/wp/cfgCalculus.ml
+++ b/src/plugins/wp/cfgCalculus.ml
@@ -106,7 +106,7 @@ let is_active_mode ~mode ~goal (p: Property.t) =
 let is_selected_props (props : props) ?pi pid =
   WpPropId.filter_status pid &&
   match props with
-  | `All | `Names [] -> true
+  | `All | `Names [] -> WpPropId.select_default pid
   | `Names ps -> WpPropId.select_by_name ps pid
   | `PropId p ->
       Property.equal p @@ match pi with