Parameter Valid.AF

val abstract : CD.t -> AD.t
val check_leq : CD.t -> AD.t -> bool