try perform 12 + perform 13 with
| effect n, k -> n - continue k 1