Adding dogma checking and min-subgraph size options to compiler