Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 52: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 55: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 58: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 65: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 106: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 181: 
The expression is "1".
It evaluates to "1". Skipping it.
