AI: minor improvements to decision tree learner
AI: fix of remainder calculation in decision tree learner