botCoSorts :: C_FORMULA -> Set.Set SORT
botCoSorts =
    foldC_Formula (botSorts botCoSorts) (constCoRecord Set.unions Set.empty)
botCoSorts :: C_FORMULA -> Set.Set SORT
botCoSorts =
    foldC_Formula (botSorts botCoSorts) (constCoRecord Set.unions Set.empty)
botCoSorts =
    foldC_Formula (botSorts botCoSorts) (constCoRecord Set.unions Set.empty)