Check if solver already has stricter constraints

Before adding another constraint to a solver, check if it already has
the stricter version of the constraint. `constraint/hold` is stricter
than `constraint` and stricter than `constraint/complement`.