public static bool ShouldForceNewVariableFor(Declaration d) => d.ContainsAnnotation(NewVariableAnnotation);