Added predicate that verifies whether 2 methods have same signature