Expr -> digit + Expr | d|igit digit -> 0|1|2|....|9
()
source not stored for this graph (policy: none)