Adding some generator rewriter rule functions for function pattern matching, non-recursive function and lemma (simple). Now, rewriter works well with reverse cases