remove endless lope cause by next_possible_partition; fixed correctness of algorithm; first decision doesn't create 2 branches anymore (symmetrie)