17 April 2014:

+ Fixed the optimisation in the cycle detection. It can now detect cycles 
accessing several times the same array (e.g. MP-pos with 
"(tab[i]=1;tab[j]=0)||(r1=tab[j];r2=tab[i])", interpreted as 
"{Wtab[*],Wtab[*]}X{Rtab[*],Rtab[*]}").

+ Musketeer now duplicates the bodies of the loops only when a shared array is
accessed in them. Indeed, it is the only case where a back-edge is not
sufficient for being sound. Back-edge strategy for the other loops appears to
be faster.

4 April 2014:

+ Fixed the thread counting in the interference analysis. The number of threads
is used in the cycle detection to minimise the exploration space.

+ Fixed the edge removal case in the cycle detection.