Added questions about a requirement on level transition order from L1 to L2/L3
Corrected repetition of connection messages
Removed wrong implementation of transition from L1 to L2/3
Enhanced explain for functions
Corrected problem with missing conditional variables
Corrected track conditions computation
Added tool to generate findings report for Subset-076