Module signature Make::LogicInputSig

Import path

import codeql.controlflow.Guards

additionalImpliesStep	Holds if the assumption that `g1` has been evaluated to `v1` implies that `g2` has been evaluated to `v2`, that is, the evaluation of `g2` to `v2` dominates the evaluation of `g1` to `v1`.
additionalNullCheck	Holds if `guard` evaluating to `val` ensures that: `e == null` when `isNull = true` `e != null` when `isNull = false`
parameterDefinition
rangeGuard	Holds if `guard` evaluating to `val` ensures that: `e <= k` when `upper = true` `e >= k` when `upper = false`