In mainstream languages with state and explicit mutations, unwanted aliasing relations are common bugs. This is exasperated by concurrency mechanisms, since unpredicted aliasing can induce unplanned/unsafe communication points between threads. For these reasons, a massive amount of research, see, e.g., [16,9,11,6], has been devoted to make programming with side-effects easier to maintain and un...