Verify and test behaviour of invocation returns.

[wzorgdrager]

• No returns
• Return without variables
• Return with 1 variable
• Return with multiple variables

Preferably in both the split and non-splitted scenario.

[wzorgdrager]

I think we should verify this in e2e tests (especially in a splitted function situation).