Function rewrite

pub unsafe fn rewrite(
    rewriter: Pin<&mut RewriterJitty>,
    term: *const _aterm,
) -> UniquePtr<aterm> 

Rewrites the given term to normal form.