More bugfixes for propositonal and epistemic expanders. All testcases now work as expected.