BestScoreFeasibleTermination: docs