change krun to normalize fresh variables in output
Merge pull request #1142 from dwightguth/freshvar

change krun to normalize anonymous variables in output