Minor correction in docstring and adds a TODO
more efficient _verify method. Replaced two loops with itertools.combinations and fixed return statement (Earlier was returning just True due to which other function (init and add_rules) trying to access the 0th index of the returned value were throwing error.