Add EmptyCase to GV. Remove 0 and top from CP.