Crobots demo with the single match battle and the advanced symbolic debugger visualization