sl/check-property.sh.in: do not ignore int overflow
sl/symcut: factorize out transferProgramVar()
sl/symheap: introduce SymHeapCore::isAnonStackobj()
sl/symcut: allow to propagate anonymous stack objs
cl/storage: fix a copy-paste mistake in digPtrSizeof()