Remove unreachable code, make code more PEP 8 compliant
Make is_disjoint_constraints an instance field, pass a variable to the ac3 algorithm.
Replace 'print' method with '__str__' overridden method.