AST nodes for the LTL Runtime Verification language extension.