platin: Do not model mispredictions on bitcode level.