Also use the pretty printer for metaterms