In max synthesis, prevent the sample probability from descreasing. (Analogically for min synthesis.)
Display demarcation prob bounds as part of min/max synthesis solutions.