Added a test for eventual completeness.

Eventual completeness is not given for non-fluent formulas due to
special treatment of SF in splitting, but for fluent formulas it should
hold.
Made setup_is_inconsistent() static.

Too dangerous for the outside world.
Started proper+ BAT compiler.