varenc: remove unnecessary subtree rewriter classes
remove old, unused clone of the CRuntimeFunctionRefinement class
remove old code in comments

no longer needed - CompositionRule is now determined and applied using the for-loop over compositionRules below
remove old comments, old code in comments
Merge pull request #19 from henzk/remove_subtreerewriter

Remove subtreerewriter