value flow: Fixed testing
value flow: Updated Makefile with dmake
value flow: fixed bailout so it really bails out
value flow: improved error message output for conditional division by zero
Value flow: added bailout on }