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