Implemented: 

- scans
- test functions (in hidelevel.c)

TODO:

- use test functions (impossible for pruning, interesting for goal selection heuristic)
- state count display switch for comparisons
- consider adding info for goal stuff (only from M_0, not by create)

*******************************************************************

roivas:~scyther% ./scyther ccitt509-1c.spdl
Global constants: [te, ne, Eve, Bob, Alice, unhash, sk, hash, pk]

Possibly interesting term: unhash; know 2147483647, prot 2147483647
Possibly interesting term: sk; know 1, prot 2


roivas:~scyther% ./scyther yahalom.spdl
warning: variable T was declared in role yahalom,R but never used in a read event.
Global constants: [Simon, Bob, Alice, Compromised, Fresh, k]

Possibly interesting term: k; know 2147483647, prot 2


roivas:~scyther% ./scyther ns3.spdl
Global constants: [Eve, sk, pk]

Possibly interesting term: sk; know 1, prot 2147483647
