Ah right! I've fixed this, though I don't quite follow what you mean by checking other block conditions (outside of a DeMorgan transformation). These issues are fixed in the new commits.