Reverse post-order linearization of CFG
