A tool to convert folded to unfolded code