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