module resolution bpe

route routeTo
begin (*,D):R,I,perm
    | (gwV,S):S,I;T,I
    | (*,E): end