let cleant_outputs kf s =
  let outs = Db.Outputs.kinstr (Kstmt s) in
  let filter = Locations.Zone.filter_base
    (Db.accept_base ~with_formals:true ~with_locals:true kf) in
  Extlib.opt_map filter outs