add qlist debug predicate, actually add propositions to the query state
-rw-r--r-- .gitignore
drwxr-xr-x bin
drwxr-xr-x lib
-rw-r--r-- need
drwxr-xr-x t