add consecutiveness constraint