Class SSAPropagationCallGraphBuilder.ConstraintVisitor