added --trace option to kompile. This way only when you kompile with --trace tracing will be added to the k definition.