=act #3725 Make FSMTimingSpec more robust.