Make abortions work for common subgraph