[dfmc-flow-graph] Correct error in <values> code in debug-back-end.

This shouldn't pass the fixed values here.
[dfmc-flow-graph] Fix typo.
[dfmc-typist] Correctly check for empty fixed values.
Merge pull request #783 from waywardmonkeys/minor-cleanups

Minor cleanups