} else if (act.name().equals("S4A2")) {
assertTrue(act.nextActivities().size() == 1);
acts.add("S4A4");
assertTrue(activitiesIncluded(act.nextActivities(), acts));
} else if (act.name().equals("S4A3")) {
assertTrue(act.nextActivities().size() == 1);
acts.add("S4A4");
assertTrue(activitiesIncluded(act.nextActivities(), acts));
} else if (act.name().equals("S4A4")) {
assertTrue(act.nextActivities().size() == 0);
} else {