Predicate DisposeNotCalledOnException::disposeReachableFromDisposableCreation

Holds if disposeCall disposes the object created by disposableCreation.

predicate disposeReachableFromDisposableCreation(MethodCall disposeCall, Expr disposableCreation)