Implement support for GeneratorWitnessMIR
in new solver
#109755
Merged
GeneratorWitnessMIR
in new solver
#109755