Member predicate CaptureInput::VariableWrite::hasCfgNode

Holds if the ith node of basic block bb evaluates this expression.