Added is_subgraph_cycle invariant