DM-EXP implemented, should work

Need to finish C-ANALYZER to test DM-EXP