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