AST:Trampoline: return value from trampoline not shown

Currently an early return from a trampoline never returns a value irrespective of the return value of the function.

Support needs to be added for the trampoline code to infer the return value of the function and adjust the early return statement accordingly.

test case: global_array_overflow_work_O0_patched_extra_condition_bug_report_04_18