docs: public List<String> getAllRHSVariables() {
          List<String> result = new ArrayList<String>();
  
          for (int i = 0; i < this.rhs.length; i++) {
              IAction pat = this.rhs[i];
              if (pat instanceof ActionInsertFact) {
                  ActionInsertFact fact = (ActionInsertFact) pat;
                  if (fact.isBound()) {
                      result.add(fact.getBoundName());
                  }
              }
          }
  
          return result;
      }