In progress: refactoring invariant generator, and adding optimizer step
Added separate example directory, to increase modularity
Removed a swap file that got added by accident