Standardize pretty printers related to theorems.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>