changed in semantic checking. Added comparing between with and without semantic