Updated the semantic check with partial binary operation semantic checking