Propagate `x = inf` in conjunctions and disjunctions.