Function check_safe_inheritance 

pub fn check_safe_inheritance(
    class: &Class,
    interfaces: &HashSet<String>,
    class_safety: SafetyMode,
) -> Vec<String>

Check that classes in @safe context only inherit from @interface classes