try
  10 + perform 3
with effect x, k -> k (x + 1) - 2