Sergio Siccha Publication TACO'17 Symmetry in Software Synthesis Andrés Goens, Sergio Siccha, Jerónimo Castrillón