Predicate assertionCompletion
Gets a valid completion when argument i fails in assertion a.
Import path
import semmle.code.csharp.controlflow.internal.CompletionGets a valid completion when argument i fails in assertion a.
import semmle.code.csharp.controlflow.internal.Completion