Allow kore-proof-trace
to display label
and location
info for improve debugging if a kore definition file is given
#3016
Loading