Merge "Detect phi cycles."