let pp_term = pretty#alpha pretty#pp_term