(VAR n) (RULES f91(n) -> cond(n <= 100, n) cond(TRUE, n) -> f91(f91(n + 11)) cond(FALSE, n) -> n - 10 )
content may be truncated. 'popout' for larger text window.