Version 0.8: warning about unhandled statements in Cstracker