Simple N^2 alias anlysis accuracy checker