Added some new invariants (subgraph free, bannner, paw etc).