Deadlock testing based on predicte conflict graph

• 基于谓词冲突图的死锁检测