Changed alreadyVisitedMethod and alreadyVisitedIfInstruction from
ArrayList to Set