Parameter AC.1-A

val is_ac : Logtk.ID.t -> bool
val is_comm : Logtk.ID.t -> bool