Teach simplification to go under Case
Teach simplification to go under Case

(No simplification of the Case itself, or even augmenting context information from Case, is attempted.)

zachsully/hakaru,zaxtax/hakaru,zaxtax/hakaru,zachsully/hakaru