Corrected the errors in Are_Equal and Are_Not_Equal ensures clauses
Merge pull request #50 from yushan87/string-fix

Corrected the errors in Are_Equal and Are_Not_Equal ensures clauses