dzn 2.13.2: simulate progresses quadratically with the length of the trace

Will be solved in 2.13.3