Add invariant if both checkedLink and valueLink are provided