The lifting of multi-partition WLs now also works if the WL occurs in the CEXPR position of an N-code node. Also added to the help output. Note that the test for the time being requires -noSOP and -noSRP; this is issue 2372, which is not yet fixed.
The lifting of multi-partition WLs now also works if the WL occurs in the CEXPR position of an N-code node. Also added to the help output. Note that the test for the time being requires -noSOP and -noSRP; this is issue 2372, which is not yet fixed.