* @param post - walker function, executed after the predecessor of a node are visited
* @param env - environment, passed to pre and post
*/
* @param post - walker function, executed after the predecessor of a node are visited
* @param env - environment, passed to pre and post
*/