SpecVerify in main. Valbind changes in ANormalize.