Debugged deltas: constraints that were added and removed in the same Compiler were still considered

Additional tests for ProblemCompiler