let dst (e, _dyn) = G.E.dst e