Add new normalised constraints (with possibly new variables) to a solver. This is a lower level predicate called by lp_add_constraints/3 and when constraints are collected from the constraints pool by the solver. The constraints are not simplified and must already be normalised, so constraints which would otherwise be simplified away by the higher level predicates can be added to the external solver. The constraints will be removed on backtracking.
Currently the variables in NewIntegers are restricted to new problem variables, i.e. variables which occur in NewNormCons which did not occur in existing constraints of the solver state.