Address soundness hole in cycle prevention
This will be re-enabled once I'm done the last few major changes I have in mind. Until then, I've already caused this check to fail on main, so this will reduce GitHub email spam for a known issue.