[dfmc-conditions] with-simple-abort-retry-restart allows non-constant expressions.
Merge pull request #755 from waywardmonkeys/dfmc-conditions-expressions

[dfmc-conditions] with-simple-abort-retry-restart allows non-constant expressions