ALAP constraint behavior question