import csharp
import semmle.code.csharp.commons.Assertions

select any(FailingAssertion fa)