I dont have a strong feeling about this. but storing them in InterceptedMethods phase isn't a good thing as definitions are, at least as implemented, potentially context dependent.
@odersky, what's your opinion?