add concrete attribute to the modInt rule.
@@ -359,7 +359,7 @@ module INT
I1:Int modInt I2:Int
=>
((I1 %Int absInt(I2)) +Int absInt(I2)) %Int absInt(I2)
- requires I2 =/=Int 0
+ requires I2 =/=Int 0 [concrete]
syntax Bool ::= Int "<=Int" Int [function, left, smtlib(<=), latex({#1}\mathrel{\leq_{\scriptstyle\it Int}}{#2}), hook(INT.le)]
| Int "<Int" Int [function, left, smtlib(<), latex({#1}\mathrel{<_{\scriptstyle\it Int}}{#2}), hook(INT.lt)]
