Example VAR1 := VAR2 + 5; (* comment OK *)VAR2 := (* ignored *) VAR2 + 5; (* ok *)VAR3 := (* var (* nested not allowed *) 5 *) 7; (* ERROR *)Last case gets compilation error.