Out: Name Initial INIT 0
NumberOfInputs 16#0
between begin (0) and
Offset BYTE Range: 0 to 7
touches ARRAY [0..5] OF
always return 0.
VState Inout Const uq0 Dyn
0 finite 1
Type a ARRAY [0..(SM
