Predicate UnreleasedLock::blockIsLocked

A control flow path from a locking call in src to b such that the number of locks minus the number of unlocks along the way is positive and equal to locks.

predicate blockIsLocked(LockType t, BasicBlock src, BasicBlock b, int locks)