Adds test to check compilation of corebpel transformations