The boundedness check is still broken even with the updated engine. Now it returns that 0 tokens is enough to make it bounded (which is wrong). It wrongly parses the >4 information from the query.
The boundedness check is still broken even with the updated engine. Now it returns that 0 tokens is enough to make it bounded (which is wrong). It wrongly parses the >4 information from the query.