Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 16: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 19: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 23: 
The expression is "1".
It evaluates to "1". Skipping it.
