fixed missing variability elimination in DeclarationInit