Function contains_hazard 

fn contains_hazard<'tcx>(property: &Property<'tcx>) -> bool

Whether any atom in this (possibly compound) property is a hazard (ContractKind::Hazard), which the caller explicitly opts into.