Combinatorgraph reduct. church-rosser etc by Broek