try and adapt Model Checking Dialog text

hope it works

Signed-off-by: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>