New test case for another DOM constraints bug.
Merge branch 'master' into feature-concolic-loop-skipping
Include 'default' values in the dynamic DOM constraints. Fixes #114.