Resolve "Generators in SCAN_SAVING not possible (anymore)?"
Closes #897 (closed)
Merge request !1754 (merged) fixes the termination problem observed with this MR.
Closes #897 (closed)
Merge request !1754 (merged) fixes the termination problem observed with this MR.