Initial win-checker data structures for resolution and unification.