DT synthesis: map scheduler to a decision tree

DT synthesis: map scheduler to a decision tree #236