processing of ReturnStatement