Function rewrite_morph 

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

Call the “optimized”, tree-morph rewriter.