faul_sname comments on Backward Reasoning Over Decision Trees