for g, gO being ConwayGame holds
( not gO in the_Tree_of g or gO = g or ConwayRank gO in ConwayRank g )