iterated-induction model fails

[Former user]

running this model and picking any state generates the following error message

Error: InternalIdpException: +(card[ { bS[Object] : Above(bS[Object],bT[Object]) : 1 } ],1) in >(+(card[ { bS[Object] : Above(bS[Object],bT[Object]) : 1 } ],1),2) is recursive, which should not have been produced.

[Bart Bogaerts]

Fixed in the development version.

Will work properly in idp 3.4.0 and above