That's not at all an appropriate solution to the false-positive. You should not enforce...
OBL_UNSATISFIED_OBLIGATION false-positive