Added a test for propagation count
Documented some more things