compute simplifies mod incorrectly
The compute_* transformations seem to simplify
mod x 1 into
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
This specific issue with compute should not be hard to fix but some sessions may break as a result.