BriefTrace: find the original clause before answering a scope change

· Dev.to