is_SubClass_of() check only once for transitive closure state