Major Section: MISCELLANEOUS
The rewriter contains special provisions for rewriting expressions
let expressions and other applications of non-recursive
lambda expressions. For details see the paper
``Rewriting for Symbolic Execution of State Machine Models'' by J
More will be written about this soon.