Debugged constraint processing.