Use alternative definition to reset parameters
Add option -p

Using this option only the cases reported on in the paper are run (limiting the
time needed).
Enable quantifier one-point rewriter.

In some cases, such as the onebit protocol, it essential to apply this rewriter
before applying parelm or stategraph in order to achieve a reduction.