fixes: * 2cec7ebcdc6808bddbd1230649e55add07656ddb fixed #13656 - fixed stack-use-after-scope in GUI * 521d5d844d48def80bb2b6fb96e9a34f459bb8b1 Fix #13633 (safety: the xml version 3 report should show safety properties)