First order modules for choosing SMT solvers
Bugfix wrong hashtable