Trying to tighten clausees with unsat cores in forward propagation