0030590: Wrong result of Boolean Cut algorithm