$ 0 0 complete generator for muddy children problem. For some reason it deduces everytging correctly but does not terminate nor send any more messages