fn block_has_statements(block: &Block) -> bool