static bool isend(AType &a, IType &it) { return it == a.arc_end(); }
static IType end(AType &a) { return a.arc_end(); }