Fix a bug introduce during BinNavi 6 changes 	- If call to free, check first if also call to malloc (=realloc)
Fix a bug introduce during BinNavi 6 changes
	- If call to free, check first if also call to malloc (=realloc)

montyly/gueb