Fixed: Solver::Consistent() did not fully use consistency guarantee.

Solver::Consistent() still called Setup::Consistent() instead of
Setup::LocallyConsistent() even when assume_consistency = true.

The API of Setup::LocallyConsistent() was broken.