first (rather ugly) analysis function
Analysisfunctions compile.
new test for SelectMany