debugging for trace type errors