TR should use the faster SmartLocalDefs analysis