Describir: Enhancing Symbolic Execution with Veritesting.