Fixed a bug in case splitting. Cleaned up verbosity. Replaced heuristic
duplication with deepcopy. Started work on a method to generate a model
after no contradiction is found.