Moved migration code from 'refactoring' package to 'migration' package
Fixed the bug with the virtual shorthands.
(When a declaration is a virtual shorthand for all selectors in an item,
the corresponding itemset cannot make a valud refactoring)