Re: (ITS#7431) seg fault in constraint_check_restrict at constraint.c:713