added_tokens.json

{
  "<SEP>": 32101,
  "NL2CODE": 32100,
  "NL2LTL": 32102
}