Fixed bug that affected the creation of scip clauses.