Changes:
  - implemented interface change for `prove`; no longer allowed to
    provide subsumtions as a string, but instead forced to provide
    it as a list of paired subtrees of the text tree