Add method to solver interface to tell it about functions it might see in queries.
Add method to solver interface to tell it about functions it might
see in queries.

Also remove the dropConstaints() method for now. It probably isn't
a good idea to have it as it leaks information about the internal
implementation.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix