Improve Querying or document it

[Bart Bogaerts]

Currently, the query-inference, only takes formulas in the original vocabulary, not in the ct-cf vocabulary.

If such a formula is given to this inference (through the c++ interface of course), the inference fails.

This should either be fixed, or documented.

[Bart Bogaerts]

We suspect that this has something to do with the implementation of things like:

P<pt><pf>