let compute kf stmt lval = let f, (fb, b) = !Db.Scope.get_data_scope_at_stmt kf stmt lval in Fscope.set f; FBscope.set fb; Bscope.set b; "[scope] computed"