Symbol: if_is_unit