Hello everyone, my name is Alessandro and I'm quite new to your community. I'm using NORMA to model a quite complex domain for my thesis work, and I've experienced the following issue affecting the OrmCustomTool generator. If I set a Ring Constraint to be "Symmetric and Transitive"...