Predicate Negativity::boundsChecked

predicate boundsChecked(Variable v, ControlFlowNode node)