let compute kf stmt annot = let s1, s2 = !Db.Scope.get_prop_scope_at_stmt kf stmt annot in Pscope.set s1; Pscope_warn.set s2; "[prop_scope] computed"