Debugging dynamic models