fix in invertedRecurse (fixed bug: recurse was inverted only on the first level)
failing test cases - @NotNull is not inferred for result right now. Obviously, it should be inferred in these simple cases.