try perform 0 + perform 1 with
| effect n, k -> continue k (n + 1)