initial version of trace fattening
reflookups are sometimes still failing