Plugin for model checking of formulas. So we get a first impression of our formulas. If there are problems it might also be the model...