docs: private void fixConnectiveConstraints(IPattern p) {
          if (p instanceof FactPattern) {
              fixConnectiveConstraints((FactPattern) p);
          } else if (p instanceof CompositeFactPattern) {
              fixConnectiveConstraints((CompositeFactPattern) p);
          }
      }