Constraint simplifier, first tentative