Definition: *atc-exec-expr-asg-ident-rules*
(defconst *atc-exec-expr-asg-ident-rules* '(exec-expr-asg-ident (:e expr-kind) (:e expr-binary->op) (:e expr-binary->arg1) (:e expr-binary->arg2) (:e expr-ident->get) (:e binop-kind)))