before
  case x of { 1->1; _ -> case C of { A -> 2 }}
transformed to
  case x of { 1->1; _ -> neverMatchingCase }
now it transforms to
  case x of { 1->1;}