Function rewrite_assertion_expression_fixed_point_with_level 

pub fn rewrite_assertion_expression_fixed_point_with_level(
    expr: &str,
    level: OptimizeLevel,
) -> String