Verified IF behaviour.

Verified IF behaviour.