internal Term Prev() { return(prevBuffer.ToTerm()); }
public Term Term() { return(termBuffer.ToTerm()); }