ValueNumberDataflow vnaDataflow) {
ValueNumberDataflow vnaDataflow, boolean trackValueNumbers) {
	public IsNullValueFrameModelingVisitor(			ConstantPoolGen cpg,			AssertionMethods assertionMethods,			ValueNumberDataflow vnaDataflow) {		super(cpg);		this.assertionMethods = assertionMethods;		this.vnaDataflow = vnaDataflow;	}