Lattice_of_stable_matchings loading ...