(* Simplifications on statements *)

open Ast

val same_stmt: stmt -> stmt -> bool
val simpl: Env.t -> stmt -> stmt