Sort location arguments to functions in `code.v`
Currently the arguments for the code of functions depend on the order of includes, i.e. latch_wait
and test
in
Definition impl_main2 (initialized latch_wait test : loc): function := {|
This is quite fragile and should be more robust.