Make sure Tegis is not even proposed when no test exists
Evaluate Pattern matching, matchToITE no longer necessary

More precise tracing, especially for in-IDE exploration of execution