Instance unification bug is fixed.
Minor refactoring.
Add `finish` to run game iteration to completion.