First stab
Add halo exchanges push backs

Make sure that halo exchanges are inserted as early as
possible in the trace (it could actually be earlier if
we considered only the subtrace of what is needed to
be executed on a "evaluate" call