Version 0.8: enabling f,t, statements in Cstracker