Statistic: output inst-id to klee-out-/instid