Import path
import semmle.code.csharp.controlflow.Guards
Imports
Predicates
preControls |
Holds if pre-basic-block |