[probability-cache] documentation, assertions added; unreachable code removed
[inlining] documentation and assertions
[inlining] made explicit an invariant of InliningData
[inlining] refactoring for readability in InlineableGraph
[inlining] more uniform treatment of method cloning in InlineableGraph
[inlining] preparations to avoid cloning whenever possible