@@ -125,11 +125,9 @@ { "SUM" }, { "BLOCK_BEGIN" }, { "BLOCK_END" }, { "INTEGER_MAX_VALUE" }, { "CYCLIC_1" }, - { "CYCLIC_2" }, - { "SUP" }, - { "UNUSED" } + { "CYCLIC_2" } }; } }