SL: Added support for instrumentation.
inferStamp for CompressionNode
correctly handle inlining of method with multiple returns
SL: Merging changes to root