miniSim: Added bound detection and improved one example.