spell check
formal specification of function init
Merge pull request #15 from carand/master

formal specification of function Bitwalker_IncrementalWalker_Init