better generation of initial predicates when decomposing clauses