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