ILP on Decision Trees