Wrote missing test-cases for LazyConditionWalker.