detect aliasing of mappings

[pirapira]

Passing the same mapping twice to a contract should be forbidden, lest some nasty aliasing problem happens.

contract A (address => uint a){
...
   then becomes B(a, a)
}