def __load_clauses(iterable):
    """Given an iterable of literals construct clauses spliting on 0
	"""
    clause = []
    for variable in iterable:
        if variable == 0:
            if clause:
                yield clause
                clause = []
        else:
            clause.append(variable)
    if clause:
        yield clause
