SUNSimplify and SUNTrace require a serious refactoring, since many expressions cannot be simplified straightforwardly,
yet after some fiddling with the Explicit and SUNTrace options one can still get the desired result.

Here we need to clean up the code in such a way, that it becomes more readable and better maintainable. Then
one could also add additional features.