Restrucutred mapfusion proof files.