(motive : Lean.IR.EmitLLVM.ShouldForwardControlFlow → Sort u_1) →
  (fwd? : Lean.IR.EmitLLVM.ShouldForwardControlFlow) →
    (Unit → motive Lean.IR.EmitLLVM.ShouldForwardControlFlow.yes) →
      (Unit → motive Lean.IR.EmitLLVM.ShouldForwardControlFlow.no) → motive fwd?