Property propagation

[pgoodman]

Have the ability to annotate some code as having a property. Then, that property should be propagated up the call stack. So if function foo is annotated, and bar conditionally calls foo, then bar would also be annotated as optionally having the property.

A way to disavow a property would also be desirable, so that it doesn't propagate beyond a certain point.

[pgoodman]

• mark the code that runs a js function as "invokes callback", and then when I'm reading far away and that function is in the call graph, I'll see it
• pruning stuff to stop it from getting everywhere
• a little thing that shows Foo -> Bar -> Baz -> Bat -> RunCode or something