ClemsonRSRG/RESOLVE-Workspace — pull request #50 by yushan87 (2014-11-12 15:53:29+00:00)
Title: 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.