@spec check_graph( %Paradigm{ classes: term(), description: term(), enumerations: term(), name: term(), packages: term(), primitive_types: term(), properties: term() }, any() ) :: Paradigm.Conformance.Result.t()