Prepared solution only supports finding unused variables inside of function declarations. Would it be possible to extend it to support any flwor expressions? Would it be also possible to support checking private variable declarations?