all tests pass on splitfix but why SO SLOW... progressive deterioration in performance since? niki added the abstract-refinement-check?