Test for Class Hierarchy Analysis (CHA) on abstract method.