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