analyze for return statement