Function rewrite_with_options 

pub fn rewrite_with_options(
    goal: &Node,
    eq: &Node,
    options: RewriteOptions,
) -> Result<RewriteResult, Diagnostic>

Rewrite goal once using equality eq and explicit options.