Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming