core - Revision 18242: /branches/3073_IA_constraint_splitting