Call `token::pretty_print()` in `b1_token_ready_for_b2`