- Fixed return check
- Double checked all semantic rules. All are working