Fixes to Crawler3

Some refactoring and simplification.
Fix off-by-one errors with probability vector.