Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 33: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 40: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 67: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 74: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 77: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 12438: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 13715: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 13719: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 13723: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 13727: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 13731: 
The expression is "1".
It evaluates to "1". Skipping it.
