issue(spl): missing function in smir json

[Stevengre]

In test_process_get_account_data_size:

│  (1939 steps)
└─ 3 (stuck, leaf)
      <generatedTop>
        <kmir>
          <k>
            #setUpCalleeData ( monoItemFn ( ... name: symbol ( "** UNKNOWN FUNCTION **" ) , id: defId ( 5801271 ) , body: noBody ) , operandMove ( place ( ... local: local ( 3 ) , projection: .ProjectionElems ) )  .Operands ) ~> .K
          </k>

This function cannot be found in smir json through

jq '.functions[] | select(.[0] == 5801271)' program/test-properties/artefacts/spl-token.smir.json

[Stevengre]

Same in test_process_initialize_immutable_owner:

│  (42 steps)
└─ 4 (stuck, leaf)
      <generatedTop>
        <kmir>
          <k>
            #setUpCalleeData ( monoItemFn ( ... name: symbol ( "** UNKNOWN FUNCTION **" ) , id: defId ( 5801271 ) , body: noBody ) , operandMove ( place ( ... local: local ( 3 ) , projection: .ProjectionElems ) )  .Operands ) ~> .K
          </k>