Fixed Bug: unknown operation-name in LTL formula