ValueNumberDataflow vnaDataflow) {
ValueNumberDataflow vnaDataflow, AssertionMethods assertionMethods ) {
	public UnconditionalValueDerefAnalysis(			ReverseDepthFirstSearch rdfs,			CFG cfg,			MethodGen methodGen,			ValueNumberDataflow vnaDataflow) {		super(rdfs);		this.cfg = cfg;		this.methodGen = methodGen;		this.vnaDataflow = vnaDataflow;	}