Function rewrite_naive

pub fn rewrite_naive<'a>(
    model: &Model,
    rule_sets: &Vec<&'a RuleSet<'a>>,
    prop_multiple_equally_applicable: bool,
) -> Result<Model, RewriteError>

A naive, exhaustive rewriter for development purposes. Applies rules in priority order, favouring expressions found earlier during preorder traversal of the tree.