public void addLineTag(SourceLocationTag tag){
  if (!lines.contains(tag))   lines.add(tag);
}

public void addLineTag ( SourceLocationTag tag ) { if ( ! lines . contains ( tag ) ) lines . add ( tag ) ; }
add a line number tag to this method remembering where it was called or defined .
