Output first assignment found, reduce domain space, keep n-gram flow constraints within line.