A tool to convert folded code to unfolded