minor tweaks to decrease number of false positives in double free analysis
fix wrong call to getAllSucc in double free test
fix wrong call to getAllSucc
polish printing of timing information in frontend