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