Implemented capability to perform compound refactorings. Doesn't work
with goal expansions and have sense, is very difficult to fix by now.