Added rewriting of labels in eligibility-graph