some prompts
some prompts
typos
remove some hard codes in trace transformer
add shared var info to -alias-set-rels
...