Unsat cores.
re-add fixmes
ugly unsat core-checker
more debugging etc.