code: public String varNameToOpName(String varName){
          int idx = varName.lastIndexOf(':');
          if(idx < 0)
              return varName;
          return varName.substring(0, idx);
      }
docs: Strip the variable suffix to give the node name: "Unique:1" -> "Unique"