public String getRawOr(LinkedList<SeqCond> s) {
    String out = "";

    if (s.size() == 1) {
      SeqCond seqCond = s.getFirst();

      if (seqCond.isOperationCheck()) {
        out += Integer.toString(seqCond.id) + Model.getOperationEnding(seqCond.state);
      } else if (seqCond.isVariableCheck()) {
        out +=
            Integer.toString(seqCond.id)
                + Model.getVariabelCheck(seqCond.state)
                + Integer.toString(seqCond.value);
      }

    } else if (s.size() > 1) {
      out += "(";
      for (Iterator<SeqCond> it = s.iterator(); it.hasNext(); ) {
        SeqCond seqCond = it.next();

        if (seqCond.isOperationCheck()) {
          out += Integer.toString(seqCond.id) + Model.getOperationEnding(seqCond.state);
        } else if (seqCond.isVariableCheck()) {
          out +=
              Integer.toString(seqCond.id)
                  + Model.getVariabelCheck(seqCond.state)
                  + Integer.toString(seqCond.value);
        }

        out = it.hasNext() ? out + EFAVariables.SP_OR : out;
      }
      out += ")";
    }

    return out;
  }