In the process of debugging SPF test case generation, strings are
causing issues.
Added support for specifying initial values of symbolic lookups.
Recompiled tutorial files, things have changed
Refactoring the test case generator. Also trying to reimplement node
timepoint optimization
Node timepoints are now removed correctly.
Re-added a setWorld() function, since we want to switch worlds in the
middle of execution.
Fixed symbolic indexing of arrays, and other stuff too
Throw a more useful exception when parsing a method fails