Vlad, I noticed that the code in setup_cover_and_important_classes in ira.c does #ifdef CONSTRAINT__LIMIT. However, CONSTRAINT__LIMIT is not a preprocessor macro; it is an enum constant defined in the generated file tm-preds.h. I think that the code within the #ifdef is either unnecessary or is not running when it should. I haven't investigated further.
Ian
