Added AnalyticGeneric type for assertions of restriction sets, which are tautologies.