Constructor.
Parameters: dfs - DepthFirstSearch on the analyzed method Parameters: rdfs - ReverseDepthFirstSearch on the analyzed method Parameters: xmethod - XMethod for the analyzed method Parameters: cfg - CFG of the analyzed method Parameters: vnaDataflow - ValueNumberDataflow on the analyzed method Parameters: cpg - ConstantPoolGen of the analyzed method Parameters: typeQualifierValue - TypeQualifierValue representing type qualifier the analysis should check