Implemented semantic check Affects and Affects* #71

both arguments have to be assignment statements.