heule graphs