Added diagnostic for case expressions