Added downward closure via Courcelle.