Tautomer Enumeration Algorithm 2
If at an internal node, the effects of propagating an assignment requires more hydrogens than are remaining the search backtracks immediately.
Finally, at a leaf node (i.e. no outstanding unassigned atoms), if there are no remaining hydrogens and a kekulé form can be found for the remaining unassigned bonds, the corresponding SMILES string is generated.