frollapply could trial run to detect MAYBE_SHARED

[jangorecki]

Performing a trial run (like empty in groupingsets) and choosing the tight function based on that sounds like an even better idea, thank you!

Originally posted by @aitap in #7272 (comment)