Update Model.java

This one is more compact and allows for running STOP productions in the middle of the number I think. I THINK.