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