Add always-iterate annotation for self-limiting loops we can't analyse yet