Program Synthesis For Systems Biology