let mem = Stmt.Hashtbl.mem states