John, maybe the automatic simplification is sometimes failing exactly because of this chopping up...
Philip, what is your take on this/John's question?
Would be good to get this one fixed since it affects a lot of MTR testcase for transformer sets.
John, maybe the automatic simplification is sometimes failing exactly because of this chopping up...
Philip, what is your take on this/John's question?
Would be good to get this one fixed since it affects a lot of MTR testcase for transformer sets.