Dump shortcuts.
Dump ELIMINATE-TRUTH-VALUES.