Type Internal :: TBasicBlockStart
Import path
import semmle.code.csharp.controlflow.BasicBlocks
import semmle.code.csharp.controlflow.BasicBlocks