The problems has been traced back to an error with the trace parsing when using the "optimised standard" reduction. Working on a fix...
The problems has been traced back to an error with the trace parsing when
using the "optimised standard" reduction.
Working on a fix...