Brute force benchmark and naive pruning for diamond-free-graphs.

Not needed