This PR corrects an error in the KCFG minimization algorithm, where the _lift_split function would incorrectly return False instead of True even though a lift has been performed successfully. It also contains a test that triggers the bug, that is, it fails using the current master branch and passes using this PR.
This PR corrects an error in the KCFG minimization algorithm, where the
_lift_splitfunction would incorrectly returnFalseinstead ofTrueeven though a lift has been performed successfully. It also contains a test that triggers the bug, that is, it fails using the currentmasterbranch and passes using this PR.