2022-05-02 11:32 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>: > I suggest adding a comment to the test case saying that using disjoint > variables is important, other than that, it looks fine. Done, and committed. Zoltan.