Debugging a Logic Circuit in IDP-Z3