Add InvCon output: .inv file for 202305 ERC20TokenBank

Author: root

results/202305_ERC20TokenBank/ExchangeBetweenPools.inv

@@ -0,0 +1,4 @@
+Daikon version 5.8.6, released December 2, 2020; http://plse.cs.washington.edu/daikon.
+Reading declaration files Processing trace data; reading 1 dtrace file:
+Warning: Daikon is using a dataflow hierarchy analysis on a data trace that does not appear to be over a program execution, consider running Daikon with the --nohierarchy flag.
+