Added proof for get_all_blocks