an new method applied on predicate generation.