Fractional extensions, no mate distance pruning