Description of the illustration pdb_save_or_discard_state.eps { SAVE | DISCARD } STATE [ instances_clause ]