Adding support for equals method

Also re-enables client predicate elimination.