add new Dump modules for unfolding