Predicate IncorrectRaiseInSpecialMethod::correct_raise

predicate correct_raise(string name, ClassObject ex)