Added a new option to omit printing synthesized terms (on by default)