implement token numbering
define writer counting judges
rename function of relational operator