A compiler for GalaxyX -> Galaxy code used in Starcraft2