ite and the big M trick

[QuriousCube]

Hi. Does the implementation of ite use the big M trick (https://en.wikipedia.org/wiki/Big_M_method)? If that is the case, would manually using the big M trick and a small M speed up the optimization?