Program now fully propagates full clauses