ensure that is_symbol_table is set