Automatic instrumentation of assertions for LLVM bitcode