if (methodGen.isSynchronized() && !methodGen.isStatic()) { ValueNumber thisValue = valueNumberAnalysis.getEntryValue(0); result.setCount(thisValue.getNumber(), 1); }
	public void initEntryFact(LockSet result) {		result.makeZero();		// TODO: "this" value for synchronized instance methods should be 1 on entry	}