try { fact.deleteObligation(obligation); } catch (NonexistentObligationException e) { throw new DataflowAnalysisException("Deleting nonexistent obligation", e); }
deleteObligation(fact, obligation, handle);
	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) {			// Remove obligation from all states			try {				fact.deleteObligation(obligation);			} catch (NonexistentObligationException e) {				throw new DataflowAnalysisException("Deleting nonexistent obligation", e);			}		}	}