make sure that all symbols are declared in untyped SPASS DFG output (broken since 3b8606fba2dd)
make sure that all symbols are declared in untyped SPASS DFG output (broken since 3b8606fba2dd)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle