Fix monoticity decomposition
Add regression test for monoticity bug.
Temporary DP fix