project mdp renamed to smdp (because the state derivator basically enables smdp)