Finds model satisfiability in simple models

* Atomic
* Union
* Intersection
* Not