Extension of the model with constant variables.
Such variables are excluded from the solver process, however, they can
be included in constraints. Such model can allow us to build a
solution on top of another solution (e.g., committed classes in the
course timetabling).