Adds CallSource nodes to the control flow graph, which have the same role for backwards analysis as the CallReturn nodes have for forward analysis.

adds nice explanatory images to the documentation of `graph.rs`.