Completed LazyConditionWalker

Please see commit 281e73f2615096bf313316fcf3ae68b0d81fe580 for a
explanation of this class.