untested predicate gen
merging