compress `alloc` before splitting expression into context/redex
Merge pull request #16 from philnguyen/fix-alloc-compress-scpcf

compress `alloc` before splitting expression into context/redex