PROBPLUGIN-90: Bugfix, missing increment when initialisating the names of the atomic propositions in an LTL formula.