Fix bug preventing correspondence between empty groups
Merge branch 'nltkParser' of https://github.com/LTLMoP/LTLMoP into nltkParser