Create stuff lazily
Add some nifty checkers which allow lazy restore during load / save.
2D SSA is not covered though