Only propagate universal option if the formula defines it