IDP fails on non-flat, non-pushed negations theories

[Bart Bogaerts]

Or maybe it has something to do with boolforms with only one conjunct.

Anyway: on branch pushnegations, I created a simple test that fails (different result with and without pushing negations) It only fails if mx is called internally, probably due to simplifications done by the parser, it really requires nested simple boolforms!

see pull request #201

[Broes De Cat]

Fixes #667: incorrectly derived that some boolforms were in a conjunctive context.

→ <<cset a46fac0a61e5>>

[Broes De Cat]

Fixes #667: incorrectly derived that some boolforms were in a conjunctive context.

→ <<cset bc1542c5c21f>>