A file-base implementation of the psl, saving p-assertions in a file, and with null behaviour for queries.
