Changed how the node worked so we can maybe ask some interesting questions about factorials with specifications.
Attempt at adjusting factorial.smv to the new program which has a node and calls fact multiple times. Seems slow -- need to test on faster computer.