The (all) cookie on unfold now keeps all solutions in a disjunct

Fixes #30