Function rewrite_assertion_expression_fixed_point_if_changed_with_level 

pub fn rewrite_assertion_expression_fixed_point_if_changed_with_level(
    expr: &str,
    level: OptimizeLevel,
) -> Option<String>