In what way are they semantic? Can you avoid a conflict if 2 people change the names of 2 different variables on one line as these are semantically unrelated changes? Does git do crdt?