Move SimpleModel to jkind.solvers