collect symbolic trace