When reporting the context of given constraints, stop when you find one