let get stmt_zones stmt =
  try Ctx.find stmt_zones stmt with Not_found -> Data.bottom