Moved clone of precond def inside the generate predicate to guard against null preconditions.