We are happy to announce an update to our tool that fixes an issue for trace generation in the discrete TAPAAL engine for EG/AF queries and the Time Dart option.