Debugging Models in hēRo3