Fixed a compiling error in sol::gurobi_t.
Implemented functions to insert/get unification-postponements.