Andrés Goens, Sergio Siccha, Jerónimo Castrillón: Symmetry in Software Synthesis. CoRR abs/1704.06623 (2017)