added a variants mode:
  tamarin-prover variants
starts a REPL for variants computation.
See misc/test.in for example input.