Allow atomics other than volatile-load to be annotated simple, and don't try to draw from in-loop call instances that do not fail.
Fix: loops were being ignored for PHI forwarding without due cause because of a confusion between different loop iterators