no goals
f g : Code
k : Cont'
⊢ codeSupp (Code.case f g) k = trStmts₁ (trNormal (Code.case f g) k) ∪ (codeSupp f k ∪ codeSupp g k)
simp [codeSupp, codeSupp', contSupp, Finset.union_assoc, Finset.union_left_comm]