Colexifications for "IF" and "AND"