Clause::OnLiteralFalse is now inline.