Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.

The following case study illustrates the migration of a report that USES the nestedSet function in an expression outside the within set clause of analytic summary function.

A report using the function nestedSet outside the within set clause of an analytic summary function (such as rank) produces the following error.