Verify | OutputFailure: Analysis doesn't support this construct yet

[Stelfinity]

ERROR:
"Verification of test.system failed"
system.pact:25:0:OutputFailure: Analysis doesn't support this construct yet: Table test.system.coupon-ledger-table2::table:{test.system.coupon-ledger-schema}

Tables

(defschema collection-schema
description:string
)

(defschema nft-schema
collection:string
id:integer
account:string
guard:keyset
)

(deftable collection-table:{collection-schema})
(deftable nft-table:{nft-schema})

Note: z3 solver was not installed. After installing, same error. Now I have z3 solver veriosn 4.8.12

[Stelfinity]

This function produces error

(defun get-nft-by-account(account:string)
(select nft-table ['collection, 'id] (where 'account (= account)) )
)

[rsoeldner]

This should be fixed by #1090