renamed has_empty_res method to is_empty