if (DEBUG) { System.out.println("Deleting obligation " + obligation.toString()); }
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, StateSet fact)			throws DataflowAnalysisException {		Obligation obligation;		if ((obligation = addsObligation(handle)) != null) {			// Add obligation to all states			fact.addObligation(obligation);		} else if ((obligation = deletesObligation(handle)) != null) {			deleteObligation(fact, obligation, handle);		}	}