Constraint not accepted in CPLEX

Hi,

I have done the whole program in CP but I would like to test it in CPLEX to see if it goes faster. Any idea why CPLEX is giving error on this constraint (
La función operator<(int,int) no está disponible en el contexto CPLEX.  
)?

range TiposDeTurnos=1..NumTurno

     forall (i in Ctas, tu in TiposDeTurnos: tu>1)
           forall (t in InstantesDelTurno)
                 (DosCtasOcupanUnSector[i][t] == 1 && HorarioCta[i]==tu) => (t >= TiposDeTurnosInstInicial[tu] && t