follow change in stog interface (Stog_plug.register_level_fun_on_elt_list)
begin upgrading to new stog
continue upgrading to new stog
continue upgrading to new stog