The following behavioral statements are not implemented by VITO for implicit style blocks:
for
repeat
case
casex
casez
A workaround for the case statement is to define a function that uses the case statement.
The disable statement is implemented with restrictions.