Fixed is_subgraph_free_bull invariant and added open-bowtie subgraph invariant. Also added an enumerator for independents sets for future calculations.