Clarified genprog