doctest for postfix evaluation