change krun to normalize anonymous variables in output

This causes krun to be unaffected by the static counter of anonymous variables.

@yilongli please review