add instr info for Ks, vars and Fns in DUMP