Adding have_predicate matcher
Adding additional specs for have_predicate