Corrected the errors in Are_Equal and Are_Not_Equal ensures clauses

Are_Equal and Are_Not_Equal are function operations, therefore the ensures clause need to say about the value returned.