fixing doublefree analysis and wrong call to variable-type cache