Ensured that all case labels were resolved