Predicate getInvokedDisposeMethod
Gets the dispose method that will be invoked on a value x
of type t when x.Dispose() is called.
Either the dispose method is (an override of) IDisposable.Dispose(),
or an implementation of a method Dispose(bool) which is called
from the IDisposable.Dispose() method inherited by t.
Import path
import semmle.code.csharp.frameworks.System