Summary: Add new policy for one iteration loops (mostly formal pre- loops).
Reviewed-by: never