Use Panda's trace model rather than FireStarter