use reverse post order from joeq, working on scc