Function rvalue_to_expr 

fn rvalue_to_expr(val: &RValue) -> Expr

Convert an RValue back to an AST expression (for substitute).