Added AndAlsoChecker tests.