Finalisation in presence of unsynced primitives

If unsynced primitives are used, the program should be forced to end with a synchronization barrier.