Stumbled upon some problems concerning automatic CRDT inference