(VAR x) (RULES cu(TRUE, x) -> cu(x < 100000, x + 1) )
content may be truncated. 'popout' for larger text window.