Updated code in DPM.tex
Describe branch C in DPM.tex
Changed SpVariable into SpWildcard.