Put two finishing hooks into one progn, as one wouldn't get called on failure
[cram_reasoning] Makes Prolog unify EQUAL strings.
copy-designator - exported by cram-designator package