+isDerivedSC :: CtFlavor -> Bool
+isDerivedSC (Derived _ DerSC) = True
+isDerivedSC _ = False
+
+isDerivedByInst :: CtFlavor -> Bool
+isDerivedByInst (Derived _ DerInst) = True
+isDerivedByInst _ = False
+
+isWantedCt :: CanonicalCt -> Bool
+isWantedCt ct = isWanted (cc_flavor ct)
+isGivenCt :: CanonicalCt -> Bool
+isGivenCt ct = isGiven (cc_flavor ct)
+