public void push( TermInfo termInfo ){termList.push( termInfo );}

public void push ( TermInfo termInfo ) { termList . push ( termInfo ) ; }
public virtual void Push(TermInfo termInfo){termList.Insert(0, termInfo);}
