icse15: Fix missing eugenia labels in initial/final state