Function set_partitions 

fn set_partitions(
    len: usize,
    limit: usize,
) -> Result<Vec<Vec<Vec<usize>>>, SymbolicError>

Enumerates address partitions within the variant budget, all-distinct first.