modificare post processing finale cs:

per ogni occorrenza Y verificare che esiste sempre un Z appartenente ai
candidati ( sono quelli tali che esiste l'arco z->y) z può essere
diverso...