Corrected another error in the union.
New version of the rewriter with the n parameter.
Changed semantics of the OneRewriter.
Tested clusterization with up to 20 philosophers.