new inference: reduce additional constraints order fixed