offsetMemoryInExp offsets (Op (Inner (Combine cspace ts active body))) =
  Op $ Inner $ Combine cspace ts active $ offsetMemoryInBody offsets body
offsetMemoryInExp offsets (Op (Inner (Combine cspace ts active body))) =
  Op $ Inner $ Combine cspace ts active $ offsetMemoryInBody offsets body
offsetMemoryInExp offsets (Op (Inner (Combine cspace ts active body))) =
  Op $ Inner $ Combine cspace ts active $ offsetMemoryInBody offsets body