Complete tests on control statements