Handle cases where config = BoolT in O.set_attr