def _expand_cloned(elements):
 return itertools.chain(*[x._cloned_set for x in elements])

def _expand_cloned ( elements ) : return itertools . chain ( * [ x . _cloned_set for x in elements ] )
expand the given set of clauseelements to be the set of all cloned predecessors .