Bidirectional has() and count() List Pseudo-Methods
Hi.
As of the 11.1 release, the list.has() and list.count() list pseudo-methods can be treated as bidirectional constraint operators.
In 11.1, list.has() and list.count() are solved unidirectionally by default. To ensure that these pseudo-methods are solved as bidirectional expressions, set the config gen -bidir_list_pseudo_methods configuration ...