Removed some redundant Setup::enabled() calls.

Also removed the assertion that the setup does not contain [] in
Setup::LocallyConsistent(). The definition of LocallyConsistent is
simply refers to all literals occurring in UP^-(s), which in this case
are none.