Class SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer