Dynamic programming for semi-Markov modulated SDEs. (3rd August 2022)