Fixed a bug in the LTL viewer of Rodin (see comments in the commit).