Source Refactoring

 * Define: type TableauxState = State ModelState
 * Define: type IndPair = (Individual, Individual)
Some changes to the algorithm

We need to take special care while adding new individuals in the
frontier.
addIndividual change in order some assertions to be added at the end of
the frontier