not WeightSelector in _GraphSelectors by ENUMSET1:def 2;
hence G .set (WeightSelector,X) is [Graph-like] by GLIB_000:10; :: thesis: verum