Param alreadyVisitedMethods added to getMethodAnalyzer, in order to be
able to pass in a modified param without changing the instance variable
of the caller.