Implemented semantic check Modifies and Uses #71

if modifies/uses' second argument is a synonym, it must be a VARIABLE.