add refinement checking button to animation / model checking ui