extract detailed trace
use new trace for debugging compiler
rename to GENERIC-OF