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")) {
assertTrue(act.nextActivities().size() == 1);
acts.add("S3A3");
assertTrue(activitiesIncluded(act.nextActivities(), acts));
} else if (act.name().equals("S3A3")) {