if (DEBUG) { System.out.println("Checking instruction: " + handle); System.out.println("  class    =" + className); System.out.println("  method   =" + methodName); System.out.println("  signature=" + signature); }
	private Obligation addsOrDeletesObligation(InstructionHandle handle, int action) {		Instruction ins = handle.getInstruction();		if (!(ins instanceof InvokeInstruction))			return null;				InvokeInstruction inv = (InvokeInstruction) ins;				ConstantPoolGen cpg = methodGen.getConstantPool();				String className = inv.getClassName(cpg);		// FIXME: could prescreen class here...?				String methodName = inv.getName(cpg);		String signature = inv.getSignature(cpg);		boolean isStatic = inv.getOpcode() == Constants.INVOKESTATIC;				try {			return database.lookup(				className, methodName, signature, isStatic, action);		} catch (ClassNotFoundException e) {			lookupFailureCallback.reportMissingClass(e);			return null;		}			}