private void UpdateStateNotConstant(ConstantPropagationDomain state, IFieldReference f) { state.SetNonConstant(f); }
private void UpdateStateNotConstant(ConstantPropagationDomain state) { state.SetNonConstant(); }
private void UpdateStateNotConstant(ConstantPropagationDomain state, IVariable v) { state.SetNonConstant(v); }