Replace -> with >>= in semantic check