The paper gave a detailed and clear description of the algorithm,
but did not specify its application conditions, e.g., is it
applicable for imperfect loop nests? How about its use for
control-intensive program?