Updated Makefile with dmake
value flow: improved calculations that depends on variable
value flow: improved handling of cast
Merge remote-tracking branch 'danmar/master'