Thanks for the program, it gave me insight how to do decomposition in a better way what I have programmed earlier.

Your program deals well with same-tuples but forms 4-tuples that are not consecutive. Consider the sets ADEFGSTV or AEEGSSVV which have no solution. I'll hack on it to see whether I can extend it to reject those sets.