Tightened 'for' bound on headway constraints