Recursive constraints
Complex use case test