Function pretty_rvalue 

fn pretty_rvalue<W: Write>(writer: &mut W, rval: &Rvalue) -> Result<()>