Solution sketch for removing impossible case alternatives