Visual debugger á la Webmachine for the HTTP Decision Diagram