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