Type TNestedCompletion
Import path
import semmle.code.csharp.controlflow.internal.Completion
import semmle.code.csharp.controlflow.internal.Completion