Gravar-mail: Identifying operation commutativity in the Context of Replicated Systems