Transforming occam programs