let mem = Stmt.Hashtbl.mem Param.states