Global States in ProVerif: GSVerif