std::set<state*> VISITED_MERGE_STATES_IN_LA_CALC;
int main(int argc,char*argv[]){
  VISITED_MERGE_STATES_IN_LA_CALC.clear();}
  if(VISITED_MERGE_STATES_IN_LA_CALC.empty() == true){
    cout << "===========its empty" << endl;
  }
  return 0;
}