Fixed bugs:
- An unhandled case in the current implementation for (I believe) static members of classes that are invoked as className::memberName
- Support for function calls where the identity of the callee function is not known and must be computed by an analysis
  Currently do not account for function call side-effects for globals and the heap.