Fixed a bug in post-fixpoint run that causes some missing entries in the store
Fixed call to calloc and memset(x, 0, ...).