* Added clause to fact conversion warning
* Added more game parsing tests
* Bug fix KIFFlattener
* Added more games to parser test
* Added more games to flattener test
* Performance boost for KIFFlattener and added more games for testing