Added short unit test for AST simplifications (Transformer.simplify) because IntelliJ claimed that a comparison between BigInts and Ints, which is done in the cases for Mod and Div, was fruitless due to incompatible types. This appears to be a spurious warning, though, since implicits are in scope that wrap the Int in a BigInt.
Added short unit test for AST simplifications (Transformer.simplify) because IntelliJ claimed that a comparison between BigInts and Ints, which is done in the cases for Mod and Div, was fruitless due to incompatible types. This appears to be a spurious warning, though, since implicits are in scope that wrap the Int in a BigInt.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors