decision tree learning for deriving precondition