Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 31: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 38: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a INIT statement in
file vcegar_tmp_abstract.smv: line 41: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 61: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 92: 
The expression is "1".
It evaluates to "1". Skipping it.
Constant expression found in a TRANS statement in
file vcegar_tmp_abstract.smv: line 96: 
The expression is "1".
It evaluates to "1". Skipping it.
