Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
Provides all default Java QL imports.
A basic block that terminates in a condition, splitting the subsequent control flow.
A condition that can be evaluated to either true or false. This can either be an