Class AstSSAPropagationCallGraphBuilder