Replaced returned type of Tableaux to ModelState

Previously Tableaux returned ALL valid and in-valid models.
Now it only returns the first valid or the last clash if there is
no valid representation