Function rewrite_assertion_expression_with_level 

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