minor
fix precondition for Examples.Bounded
Bounded4 example with sub-loop (kinda blows up…)