Class SSAPropagationCallGraphBuilder