eof token generation now in read token predicate

eat_token predicate is renamed to read_token predicate.