Algebraic implode semantics and the SAF test case: it seems to work!