Genetic Algorithms for Inductive Program Synthesis