Top_Down_Solver.TD_plain