Domain Specific Language For Dynamic Programming On Nice Tree Decompositions