FIXED: save for flag/3 structures.  Kuniaki MUkai and others
FIXED: save for flag/3 structures.  Kuniaki MUkai and others

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel