The call graph should differentiate synchronous calls from asynchronous calls

[tlatoza]

When a function is passed as a parameter and invoked later, there should be a relationship in the call graph between both the function that invoked the function and the lexically containing function where the function literal was first created.

https://seecode.run/#-KWsAZCiCCehUh8n-56m