LIE ANALYSIS SYMBOL
ValidQ
ValidQ[expr,class]
gives True if expr is a class instance with class class or one of its parents and satisfying the invariant of class, and False otherwise.
ValidQ[expr,invariant]
gives True if all functions in invariant produce True when acting on the Association of elements in the class instance expr, and False otherwise.