Finished generate all assumption candidate.
Finish converting each assumption to game