Adding frame support to the canceller

- BUG: There is a problem with re-introducing
  existential quantification.