Add nested CPR testcase
Demand Analyser testcase: Unsaturated functions