Allow to set the polarity for ITE and build_BDD

If only one polarity is used, then as many as half of the clauses may not be
needed.