Predicate IncorrectRaiseInSpecialMethod::always_raises

predicate always_raises(FunctionObject f, ClassObject ex)