findall_solutions_are_independent_copies(ok).