The ProB Animator and Model Checker/Interwikimap