Add ITE to pyeda.expr module header