This PR fixes the traverse_infix_op function to enable adding the gates to the ArithmeticCircuit instance. It bypasses a check to see if the variables were declared and execute the operation instead of creating corresponding gate.
It also includes some small code restructuring updates.
Description
This PR fixes the
traverse_infix_opfunction to enable adding the gates to theArithmeticCircuitinstance. It bypasses a check to see if the variables were declared and execute the operation instead of creating corresponding gate.It also includes some small code restructuring updates.