Use >>= to simplify execStm (SReturn exp) case.