$```$

when I$\_$Init $=>$

if $($AAA$)$ then

I$\_$State :$=$ I$\_$Init;

elsif $($BBB$)$ then

I$\_$State :$=$ I$\_$Count;

end if;

$```$

AAA $=$ a $=\text{'}1\text{'}$

BBB $=($~ a$)=\text{'}1\text{'}$

AAA $=!$a$=\text{'}1\text{'}$

BBB $=$ a $=\text{'}1\text{'}$

AAA $=($ a$)=\text{'}1\text{'}$

BBB $=$ a $=\text{'}1\text{'}$

AAA $=$ a $=\text{'}1\text{'}$

BBB $=($not a$)=\text{'}1\text{'}$