compute simplifies mod incorrectly
The compute_* transformations seem to simplify mod x 1
into x
.
As a side effect, this makes any use of the Gappa driver transformation simplify_computations
on a task that contains int.ComputerDivision.Mod_1 trivially prove false
.
This specific issue with compute should not be hard to fix but some sessions may break as a result.