Combinatorgraph reduct. church-rosser etc door Broek