Move restriction type from CORE_MODEL to SOLVER_INPUT