WIP: Improve evaluation of Intersection's for FiniteSet with symbolic elements

fixes #8217
suggestion: replace `s.func()` with explicit call of `FiniteSet()`.