Why does the trace options in the queries get disabled when symmetry reduction is selected?

This is a current limitation of the UPPAAL verification engine. When symmetry reduction is activated, it may significantly speed up the verification time but a trace information is not available. This is a temporary restriction and the option of a debugging trace should be available also with symmetry reduction in some of the future releases.