Use `returnVariables` from ast Extract values from stack of JUMPDEST frame when function finished. Use same decoding logic as for parametrs