AI: better attribute names in decision tree learner