Improve pruning of case alternatives to account for GADTs