Updating how reachability and liveness are displayed in order to remove previous infos when making a new formal verif