- Bugs in partial evaluation for equalities among bool constants
  and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal