Fix evaluation order in Util.list_map
Fix evaluation order in Util.list_map

This fixes three regression tests (about variable-sized arrays) in
CIL.  Thanks to Foivos Zakkak for the bug report.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c