Predicate UnreleasedLock::blockIsLocked

Holds if there is a control flow path from src to b such that on that path the net number of locks is locks, and locks is positive.

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