Characteristic predicate LockFlow::BasicBlockWithReturn::BasicBlockWithReturn

BasicBlockWithReturn()