It seems that currently the unsat core is computed automatically, leading to delays in
Before computing the unsat core, the user should obtain some feedback that
the PROPERTIES are inconsistent.
Possibly a dialog could pop up or a button could be put into the state view to compute
the unsat core only upon demand, as it can be quite expensive to compute.