Started synthesizing from the spec program rather than a random one.