From probabilities to programs with probabilistic incremental program evolution