Similarly

Can be replaced by

Loop Unswitching

A loop may be split into two loops. For example the following loop