Implemented support for return and exit statements