add ITE(F,G,H) function and test its correctness