`sep_formulas` bug fix. Logging update in `Invariants`.
Premature simplification bug in abduction fixed. Updated logging.