Fix issue with locations when using subregion analysis

When we run the subregion analysis we throw away the locations that are present in the expr tree, which meant that Creusot proofs were improperly located. This fixes it by properly setting the location along with the other attributes (which were correctly being set).

I also ran ocamlformat.