Convert to QUBO creates squared binary variables #661
Description
When a program is converted to QUBO, it contains terms of the form x^2 where x is a binary variable. Surely that must be simplified since x^2 = x for binary variables? Is there a simple way to do this?