There is no approach to differ tests produced by Fuzzer and SymbolicExecutor

[amandelpie]

Description

At this moment there is no way to differ tests produced by Fuzzer and SymbolicExecutor

When we use Trace Summarization framework to generate cluster descriptions, we need a stable and good approach to differ these groups of tests.

The existing solution uses the heuristic with the empty path in UtExecution, but it's known that paths could be empty in tests produced by SymbolicExecutor

[amandelpie]

Related to the #428 quick fix