- crash fixes - small enhancements to prologue and preamble - tighter handling of timeouts during CG construction
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@695 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4