beFreeOfCycles

Asserts that the slices have no cyclic dependencies between them. Each detected cycle is reported as a path, e.g. payment -> billing -> payment.