fix Terminate Statements for decs with specifiers