I was hoping not to go through the nightmare of writing the transformed rule from scratch, since I don't really have the time to do it. 
@dlucanu when do you need this merged? If you need it very soon then you can use this branch directly. The cink-semantics test suite successfully passes all the tests.