NodeTextRep toNodeTextRep(){
  NodeTextRep result=new NodeTextRep(nodeText,mapping);
  if (decomposition != null) {
    result.renaming=decomposition.renaming;
  }
  return result;
}

NodeTextRep toNodeTextRep ( ) { NodeTextRep result = new NodeTextRep ( nodeText , mapping ) ; if ( decomposition != null ) { result . renaming = decomposition . renaming ; } return result ; }
returns just the nodetextrep part of this noderepresentation object . note that there is no cloning involved .
