Add minimized instance.
Move structures for variables into a new class and remove list of 'to be propagated' literals.
Add more test cases.