public static void tExist() { SAR type_sar = SAS.Pop(); if (Scanner.typeKeyWords.Contains(type_sar.value)) { return; } if (!SymbolTable.tExists(type_sar)) { SemanticError(type_sar); } }