Ensure that the `assertions` support for goal-expansion will be triggered when the mode parameter is not instantiated