Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)