for g being ConwayGame holds g in the_Tree_of g