semantic fix

The "case to if-then-else" transform in https://github.com/zrho/afp/commit/a6a3553383d5b7f39dd55d8befe1a1ecedc6d3c5#diff-b30c248e1c667d1faa51b7e6ab5de992L129 was not semantics-preserving.