New heuristic for ordering numerical abduction candidates. Fix to redundancy filtering in `split`, from the previous commit.