minor clean-up on Division
adding the option to yield unpruned solutions
collision algo reorg