added new preferences and fixed some tests that were failing after I added support to the ProB Api to solve predicates