Improved test for is_divisibility
Merge branch 'cogumelo'