Better example graph for MCM test
MCM: shrink: identify blossom
Implement blossom shrinking