Just Code: debugging mocktomata. This will be a tough one...