Setup::AddClauseWithoutConsistencyCheck() is public now.

The use of Setup::AddClauseWithoutConsistencyCheck() is dangerous as it
subsequently Setup::Entails() may be incomplete because an
inconsistency was not detected.
On the other hand, it's not more dangerous than
Setup::GuaranteeConsistency().