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"