AI: minor improvement in decision tree learner
AI: shorter code to compute positive/negative proportion