Characteristic predicate BusyWait::DangerStmt::DangerStmt

DangerStmt()