Dynamic_Pushdown_Networks.DPN_impl