twelf/examples/cut-elim
