Constant DEBUG_FLR_VERIFIER_FOUND_DEADLOCK 

pub const DEBUG_FLR_VERIFIER_FOUND_DEADLOCK: DEBUG_FLR_PARAM_TYPE;