Yes but my point was that this is very incomplete information to do engineering with. You're still going to look at the source to learn what side-effects are present or how your arguments are used.

Not taking these details into account will be the source of most bugs :)