Improved static-threads sequentialization.