code: def is_infallible(op: parser.InstDef) -> bool:
      return not (
          variable_used(op, "ERROR_IF")
          or variable_used(op, "error")
          or variable_used(op, "pop_1_error")
          or variable_used(op, "exception_unwind")
          or variable_used(op, "resume_with_error")
      )
  
imports: from dataclasses import dataclass, field
  import lexer
  import parser
  from typing import Optional
label_desc: Use image node_id 7 for calling a global function with example usage: is_infallible(op) and returns: unknown