let compute kf stmt lval = let used_stmts, zones = !Db.Scope.build_zones kf stmt lval in ZonesState.set (zones, used_stmts); "[zones] computed"