Improving assertion failure messages
Only calling one step at a time in the playground