Algorithm properly finds counter-examples. Bug Fixes. Additional comments & utilities