Interface SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer