Incremental constraint solving, constraints are handled in sequence