Datalog 1 Boost in question. Boost tries to meet requested max boost, then thinks it is over boosting.
