fn contract_contains_unlowered_stmt<'hir>( hir: &'hir Hir<'hir>, contract: &'hir Contract<'hir>, ) -> bool