add redundant clauses in full_adder