for g, gO being ConwayGame st gO in the_Options_of g holds
ConwayRank gO in ConwayRank g