// Maximum probability to reach goal (for use with step bound property)
Pmax=? [ F "target" ]