Don't hardcode check for aconjunctive formulas
Previously, cool would simply raise an exception if the formula was
not aconjunctive. This was done to ease testing of the new reasoner
Now, the reasoner decides whether the formula is aconjunctive or not
and uses a specific algorithm based on the result.