optimalBoundPhaseS and a property-based test

!
use optimalBoundPhase