Add test for connect operation.
Add support for connect in pair sharing domain
Add method removeRangeOfVariables to pair sharing.
Implement inter-procedural pair sharing analysis