Reverse post-order linearization of CFG