if (DEBUG) System.out.println("Analyzing Locks in " +  methodGen.getClassName() + "." + methodGen.getName());
	public LockAnalysis(MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs) {		super(dfs);		this.methodGen = methodGen;		this.vnaDataflow = vnaDataflow;		this.vna = vnaDataflow.getAnalysis();		this.isSynchronized = methodGen.isSynchronized();		this.isStatic = methodGen.isStatic();	}