The VM's backTransfers function returns all the backTransfers since the start of the contract execution. So the execute_on_dest_context_with_back_transfers too. But it would be more intuitive to filter the result BackTransfers struct to return only the back transfers that occurred during the execute_on_dest_context