Class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor