Finding Bugs in a Coding Agent with Lightweight DST