Add better support for nested constraints in @All