Minor bug fix for exhaustive instantiation in model_engine.