Execution flow of constraints