Síntesis Automática de Programas Largos con un Recolector de Basura Aprendido