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