Function Call in Constraints

In reply to Have_A_Doubt:

No ordering means no implicit and no explicit ordering.