Renamed traced rec interpreter merges; added tracer rec interpreter no merging

Also added annotations for trace-merging to evaluate-cond in 'traced rec interpreter merging'