Parser for the LTL Runtime Verification language extension.