souffle functor stacktrace

gistfile1.txt

#0  souffle::ConcurrentFlyweight<souffle::SeqConcurrentLanes, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::hash<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::equal_to<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, souffle::details::Factory<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::findOrInsert<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&> (this=0x555555de09c0, H=0)
    at /usr/local/include/souffle/datastructure/ConcurrentFlyweight.h:300
#1  0x00007ffff7fc2fb5 in souffle::SeqFlyweight<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::hash<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, std::equal_to<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >, souffle::details::Factory<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > >::findOrInsert<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&> (this=0x555555de09c0)
    at /usr/local/include/souffle/datastructure/ConcurrentFlyweight.h:470
#2  0x00007ffff7fc2c8d in souffle::SymbolTable::encode (this=0x555555de09c0, symbol="-nan")
    at /usr/local/include/souffle/SymbolTable.h:92
#3  0x00007ffff7fc2417 in test (symbolTable=0x555555de09c0, recordTable=0x555555de08c0, x=-nan(0x7fa670))
    at functors.cpp:65
#4  0x00007ffff7d90ff5 in ?? () from /usr/lib/x86_64-linux-gnu/libffi.so.7
#5  0x00007ffff7d9040a in ?? () from /usr/lib/x86_64-linux-gnu/libffi.so.7
#6  0x00005555557e2dc4 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&)::{lambda()#7}::operator()() const ()
#7  0x00005555557de5f4 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#8  0x0000555555817933 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&)::{lambda()#865}::operator()() const ()
#9  0x00005555557d5ff5 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#10 0x00005555557e3bff in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&)::{lambda()#199}::operator()() const ()
#11 0x00005555557dee57 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#12 0x00005555557e0ba4 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#13 0x00005555557d8df1 in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#14 0x00005555557dae0d in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#15 0x00005555557dae0d in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#16 0x00005555557dae0d in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#17 0x00005555557de67b in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#18 0x00005555557dae0d in souffle::interpreter::Engine::execute(souffle::interpreter::Node const*, souffle::interpreter::Context&) ()
#19 0x0000555555821b33 in souffle::interpreter::Engine::executeMain() ()
#20 0x00005555555f63f2 in souffle::main(int, char**) ()
#21 0x00007ffff786d0b3 in __libc_start_main (main=0x5555555f6ec0 <main>, argc=2, argv=0x7fffffffde98, 
    init=<optimized out>, fini=<optimized out>, rtld_fini=<optimized out>, stack_end=0x7fffffffde88)
    at ../csu/libc-start.c:308
#22 0x00005555555fdf6e in _start ()