} else if (act.name().equals("S2A4")) {
assertTrue(act.nextActivities().size() == 3);
acts.add("S4A1");
acts.add("S4A2");
acts.add("S4A3");
assertTrue(activitiesIncluded(act.nextActivities(), acts));
} else if (act.name().equals("S3A1")) {
assertTrue(act.nextActivities().size() == 1);
acts.add("S3A3");
assertTrue(activitiesIncluded(act.nextActivities(), acts));
} else if (act.name().equals("S3A2")) {