Update the MIPS example.

The model should detect more instances of branches in the branch delay slot, which is categorised as being unpredictable.