An expression of the form `x * 1 * 1` is not reduced to e.g `x * 1` Which will sort of limit the extractor in the linear optimization
An expression of the form
x * 1 * 1is not reduced to e.gx * 1Which will sort of limit the extractor in the linear optimization