Member predicate BasicBlocks::BasicBlock::defAt

Holds if this basic block defines variable v in its ith node u.

predicate defAt(int i, Variable v, VarDef d)