Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)