synchronizer now splits automatically in different final states