pub fn validate_instantiation_conditions(model: &mut Model) -> Result<()>
Evaluate and remove all top-level where conditions after parameter instantiation.
where