(= (dctg-rule-info guardedexpr_a 9 (guardedexpr-a (node $_ $_ 9) $_ $_) 3 nonterminal) True) (= (dctg-rule-info noniter_expr 5 (noniter-expr (node $_ $_ 5) $_ $_) 3 ...