Predicate UnsafeLazyInitialization::doubleCheckedLock

predicate doubleCheckedLock(Field field, IfStmt ifs)