Signed integer overflow

The result of numeric operations can overflow in some cases. E.g.:

module proba {

control{

var integer a:=2147483647
action("!!!" , a)
  a:=a+1

action("!!!" , a)
}

}

Will result:

TCN-3 Test Executor (single mode), version 11.0.0
Execution of control part in module proba started.
Action: !!!2147483647
Action: !!!-2147483648  <-ez itt negative
Execution of control part in module proba finished.
Verdict statistics: 0 none, 0 pass, 0 inconc, 0 fail, 0 error.
Test execution summary: 0 test case was executed. Overall verdict: none