Fix naming conflict of automatic symbols in cse

Fixes #5331.

Unfortunately the non-dummy symbol have to be passed explicitly in the tests now for comparison.