code: public static String[] decomposeSuperCallName(String origName) {
          if (origName.contains(SUPER_TRAIT_METHOD_PREFIX)) {
              int endIndex = origName.indexOf(SUPER_TRAIT_METHOD_PREFIX);
              String tName = origName.substring(0, endIndex).replace('_','.').replace("..","_");
              String fName = origName.substring(endIndex+SUPER_TRAIT_METHOD_PREFIX.length());
              return new String[]{tName, fName};
          }
          return null;
      }
docs: Returns the name of a method without the super trait specific prefix. If the method name
  doesn't correspond to a super trait method call, the result will be null.
  @param origName the name of a method
  @return null if the name doesn't start with the super trait prefix, otherwise the name without the prefix