Comment 4 for bug 354781

I just had a quick word with the Uppaal team, and verifyta does not offer a concrete trace when verifyring E[] propertis, (known bug) This might be implemented in future version of verifyta, but for now then uppaal team does not have time to fix the issue.